命題22

命題22

 同じ比をもつ数で最小の数は互いに素である。

 ABを同じ比をもつ数で最小の数であるとせよ。

 ABは互いに素であると主張する。

 もし、互いに素でないならば、そのとき、ある数Cがそれらを割り切る。

 CAを割り切ったものと同じだけDの中に単位があり、CBを割り切ったものと同じだけEの中に単位があるとせよ。

 CAを割り切って、それに従って、Dの中に単位があるので、それゆえに、CDをかけられてAを作る。definitionZ.15

 同じ理由で、CEをかけられてBを作る。

 したがってCは2つの数DEをかけられて、ABを作る。

 それゆえに、DEに対して、ABに対する。propsitionZ.17

 それゆえに、DEは、ABの比と同じ比であり、ABより小さく、これは不可能である。

 それゆえに、ABを割り切る数はない。

 それゆえに、ABは互いに素である。

 それゆえに、同じ比をもつ数で最小の数は互いに素である。

証明終了

第7巻命題21へ  第7巻命題23へ  第7巻目次へ